x86: Force !in_irq() in machine_restart().
authorKeir Fraser <keir.fraser@citrix.com>
Mon, 7 Jun 2010 15:41:19 +0000 (16:41 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Mon, 7 Jun 2010 15:41:19 +0000 (16:41 +0100)
commit7aa4b1bbc79df5e1063d88b803312295fa88f361
tree3766046d3b5824c3ee10b17cb3446f1faf97562b
parent702890192a4c1f05aabb24332bec2721fb75399e
x86: Force !in_irq() in machine_restart().

Various function we may call assert this fact. We just want to restart
the system.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen/arch/x86/shutdown.c
xen/arch/x86/tboot.c